(SETQ iniState '(4 3 6 5 7 1 2 0 8) goal '(1 2 3 4 5 6 7 8 0))